Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
831	Dataflow in Practice: Transparent Dataflow Programming Model for Multicore and Many-core Add to Reading List Source URL: bmdfm.com Language: English - Date: 2015-02-13 17:40:59 Computer architecture Parallel computing Models of computation Programming paradigms Computer data Dataflow BMDFM Multi-core processor Oz Computing Concurrent computing Software engineering
832	AUTOMATA Thus far we have been concerned with two major topics: the discovery of an appropriate model for computation and an examination of the intrinsic properties of computation in general. We found that since Turing m Add to Reading List Source URL: www.cs.uky.edu Language: English - Date: 2001-02-14 12:47:25 Automata theory Computer science Computability theory Turing machine Finite-state machine Linear bounded automaton Decision problem Theory of computation Theoretical computer science Models of computation
833	Signal entropy and the thermodynamics of computation by N. Gershenfeld Electronic computers currently have many orders Add to Reading List Source URL: cba.mit.edu Language: English - Date: 2011-12-13 18:32:02 Philosophy of thermal and statistical physics State functions Non-equilibrium thermodynamics Models of computation Reversible computing Entropy Information theory Configuration entropy Second law of thermodynamics Thermodynamic entropy Thermodynamics Physics
834	Critical Writing Workshop Add to Reading List Source URL: www.uts.edu.au Language: English - Date: 2015-03-11 20:35:20 Computability theory Functions and mappings Mathematical logic Formal methods Models of computation Function Mathematics Algebraic topology Sheaf
835	Overview Lecture T2: Turing Machines Attempt to understand essential nature of computation by studying properties of simple machine models. Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2001-02-02 11:59:52 Automata theory Turing machine Computer science Deterministic pushdown automaton Finite-state machine Linear bounded automaton National Parliamentary Debate Association NP Pushdown automaton Theory of computation Models of computation Theoretical computer science
836	Warren’s Abstract Machine A T UTORIAL R ECONSTRUCTION HASSAN A¨I T-K ACI [removed] Intelligent Software Group Add to Reading List Source URL: www.cvc.uab.es Language: English - Date: 2000-05-04 09:28:00 Procedural programming languages Models of computation Programming language implementation Prolog C Machine code Variable ALGOL 68 Abstract machine Software engineering Computing Programming language theory
837	PageRank Computation and the Structure of the Web: Experiments and Algorithms Arvind Arasu Computer Science Department, Stanford University, CA[removed]removed] Jasmine Novak, Andrew Tomkins & John Tomlin Add to Reading List Source URL: www2002.org Language: English - Date: 2002-04-05 04:00:41 Link analysis Matrix theory PageRank Reputation management Search engine optimization Eigenvalues and eigenvectors Power iteration Webgraph Connectivity Algebra Mathematics Markov models
838	arXiv:quant-ph[removed]v3 11 Jul[removed]Efficient Discrete Approximations of Quantum Gates Aram W. Harrow [removed] Add to Reading List Source URL: cba.mit.edu Language: English - Date: 2011-12-13 18:32:01 Applied mathematics Mathematical analysis Spectral theory Quantum circuit Information theory Measure theory Quantum gate Spectrum Quantum computer Theoretical computer science Quantum information science Models of computation
839	Detecting Anomalies in Data Streams using Statecharts Vasile-Marian Scuturici1, Dan-Mircea Suciu2, Romain Vuillemot1, Aris Ouksel3, Lionel Brunie1 INSA Lyon Babes-Bolyai University, Cluj-Napoca 3 Add to Reading List Source URL: romain.vuillemot.net Language: English - Date: 2015-01-18 16:53:53 UML diagrams Computer networking Databases Datasource State diagram Information Dataspaces Timestamp Anomaly detection Computing Information science Models of computation
840	BRICS Basic Research in Computer Science MONA Version 1.4 User Manual Nils Klarlund, [removed] Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-06-14 03:00:12 Models of computation Computer science Model checking Finite-state machine Deterministic finite automaton Formal language Tree automaton Formal verification Second-order logic Automata theory Theoretical computer science Applied mathematics

UPDATE